-
1 строгий контроль типов
Большой англо-русский и русско-английский словарь > строгий контроль типов
-
2 строгий контроль типов
Англо-русский словарь технических терминов > строгий контроль типов
-
3 строгий контроль типов
1) Computers: strict type checking2) Engineering: strong typingУниверсальный русско-английский словарь > строгий контроль типов
-
4 строгий контроль типов
Русско-английский словарь по вычислительной технике и программированию > строгий контроль типов
-
5 строгий контроль типов
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > строгий контроль типов
-
6 строгий контроль типов
Русско-английский политехнический словарь > строгий контроль типов
-
7 strong typing
Большой англо-русский и русско-английский словарь > strong typing
-
8 strong typing
-
9 strong typing
English-Russian dictionary of computer science and programming > strong typing
-
10 strong typing
English-Russian dictionary of terms that are used in computer games > strong typing
-
11 strict type checking
English-Russian information technology > strict type checking
-
12 strong typing
-
13 strict type checking
English-Russian dictionary of computer science > strict type checking
-
14 strong typing
English-Russian dictionary of computer science > strong typing
-
15 strong typing
строгий контроль типов, строгая типизацияв языках программирования - требование, чтобы для каждой переменной был чётко определён тип данных, который может быть ей присвоен; это предотврашает ошибки, связанные с типами данных (type error), во время исполнения программыAnt:см. тж. type checkingАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > strong typing
-
16 strong typing
typing error — опечатка; ошибка ввода с клавиатуры; ошибка в определении типа
English-Russian dictionary of Information technology > strong typing
-
17 checking
сущ. сличение, сопоставление, сравнение Syn: collation, confrontation проверка;
сверка, сличение - * table( специальное) проверочная таблица;
испытательный стенд - * of range( военное) контроль дальности задержка;
приостановка растрескивание( древесины) образование поверхностных волосных трещин (американизм) чековая книжка checking контроль ~ контрольный ~ проверка ~ проверочный ~ профилактический контроль ~ сличение consistency ~ проверка последовательности contradiction ~ проверка несоответствия error ~ вчт. выявление ошибок integrity ~ проверка целостности strict type ~ вчт. строгий контроль типов type ~ вчт. контроль типовБольшой англо-русский и русско-английский словарь > checking
-
18 checking
checking контроль checking контрольный checking проверка checking проверочный checking профилактический контроль checking сличение consistency checking проверка последовательности contradiction checking проверка несоответствия error checking вчт. выявление ошибок integrity checking проверка целостности strict type checking вчт. строгий контроль типов type checking вчт. контроль типов -
19 ошибка в определении типа
Русско-английский большой базовый словарь > ошибка в определении типа
-
20 слабый тип
Русско-английский словарь по информационным технологиям > слабый тип
- 1
- 2
См. также в других словарях:
ML — У этого термина существуют и другие значения, см. ML (значения). ML Семантика: мультипарадигменный: функциональный, императивный, модульный Появился в: 1973 Автор(ы): Робин Милнер и др. Эдинбургский университет … Википедия
Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… … Медицинская энциклопедия
Франция — (France) Французская Республика, физико географическая характеристика Франции, история Французской республики Символика Франции, государственно политическое устройство Франции, вооружённые силы и полиция Франции, деятельность Франции в НАТО,… … Энциклопедия инвестора
Фондовый рынок — (Stock market) Фондовый рынок это рынок ценных бумаг Фондовый рынок: понятие, структура, ценные бумаги, мировые рынки США и России Содержание >>>>>>>>>>>>> … Энциклопедия инвестора
Александр II (часть 2, XIII-XIX) — XIII. Дела внутренние (1866—1871). 4 го апреля 1866 года, в четвертом часу дня, Император Александр, после обычной прогулки в Летнем саду, садился в коляску, когда неизвестный человек выстрелил в него из пистолета. В эту минуту, стоявший в… … Большая биографическая энциклопедия
Соединённые Штаты Америки — (США) (United States of America, USA). I. Общие сведения США государство в Северной Америке. Площадь 9,4 млн. км2. Население 216 млн. чел. (1976, оценка). Столица г. Вашингтон. В административном отношении территория США … Большая советская энциклопедия
Инфляция — (Inflation) Инфляция это обесценивание денежной единицы, уменьшение ее покупательной способности Общая информация об инфляции, виды инфляции, в чем состоит экономическая сущность, причины и последствия инфляции, показатели и индекс инфляции, как… … Энциклопедия инвестора
Железные дороги — I I. История развития железных дорог. Ж. дорога, в том виде, в каком она существует теперь, изобретена не сразу. Три элемента, ее составляющие, рельсовый путь, перевозочные средства и двигательная сила прошли каждый отдельную стадию развития,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
CCCP — (USSR) История СССР, периоды истории СССР, республики СССР, Конституция СССР Информация об истории СССР, периоды истории СССР, республики СССР, Конституция СССР Содержание Содержание 1.История Довоенный (1923—1941) Как был создан Внешняя… … Энциклопедия инвестора
Германия — Федеративная Республика Германии (ФРГ), гос во в Центр. Европе. Германия (Germania) как территория, заселенная герм, племенами, впервые упоминается Пифеем из Массалии в IV в. до н. э. Позже название Германия использовалось для обозначения рим.… … Географическая энциклопедия
Италия — Итальянская Республика, гос во на Ю. Европы. В Др. Риме Италия (латин. Italia) территория, на которой жили италы (латин. Itali, русск. также Италии, италики}; этноним объединял все племена Апеннинского п ова, покоренные Римом в V III вв. до н. э … Географическая энциклопедия